Combining Structural Properties and Symbolic Representation for Eecient Analysis of Petri Nets
نویسنده
چکیده
In this paper we combine structural analysis of Petri nets with the symbolic representation of state spaces by Binary Decision Diagrams (BDDs). The size of a BDD is determined by the number of its variables and by their order. We suggest two methods based on structural properties (precisely one-token-P-invariants) which improve the encoding of states. One method attempts to derive a good variable order. The other tries to reduce the needed number of variables by compacting the encoding of states.
منابع مشابه
Combining structural properties and symbolic representation for e cient analysis of Petri nets
In this paper we combine structural analysis of Petri nets with the symbolic representation of state spaces by Binary Decision Diagrams BDDs The size of a BDD is determined by the number of its variables and by their order We suggest two methods based on structural properties precisely one token P invariants which improve the en coding of states One method attempts to derive a good variable ord...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملCombining Structural and Symbolic Methods for the Verification of Concurrent Systems
The contributions during the last few years on the structural theory of Petri nets can now be applied to formal veriication. The structural theory provides methods to nd eecient encoding schemes for symbolic representations of the reachable markings. It also provides approximations of the state space that allow to alleviate many bottlenecks in the calculation of the reachability set by breadth ...
متن کاملStructural Methods Applied to the Symbolic Analysis of Petri Nets
Symbolic techniques based on Binary Decision Diagrams have emerged as one of the possible strategies to overcome the state exposition problem in the analysis of systems modeled as Petri nets. The results on structural theory of Petri nets obtained in the last few decades can be used to improve the symbolic analysis and to alleviate the state exposition problem. Structural theory provides severa...
متن کاملSymbolic Petri Net Analysis Using Boolean Manipulation
This work presents an ennumerative analysis approach for bounded Petri nets. The structure and behavior of the petri net are symbolically modeled by using boolean functions; thus, reducing reasoning about Petri nets to boolean calculation. The set of reachable markings is enumerated by symbolically ring the transitions in the Petri net. Highly concurrent Petri nets may suuer from the state expl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998